منابع مشابه
Reasoning about visibility
We consider properties of sequences of spatial regions, as seen from a viewpoint. In particular, we concentrate on two types of regions: 1) general domains in which a region is any subset of the space, and 2) axis-parallel domains, where the regions are boxes in an N -dimensional space. We introduce binary relations allowing to express properties of these sequences and present two approaches to...
متن کاملReasoning about Visibility, Perception and Knowledge
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper presents logic, a formalism for reasoning about multi-agent systems, in which the semantics are grounded in an general, finite state machine-like model of agency. logic allows us to represent: what is objectively true of t...
متن کاملReasoning about “Capability”: Wild Robins Respond to Limb Visibility in Humans
Little comparative work has focused on what nonhumans understand about what physical acts others are capable of performing, and none has yet done so in the wild, or within a competitive framework. This study shows that North Island robins visually attend to human limbs in the context of determining who to steal food from. We presented 24 wild North Island Robins (Petroica longipes) with two exp...
متن کاملReducing mismatching under time-pressure by reasoning about visibility and occlusion
Three methods are explored which help indicate whether feature points are potentially visible or occluded in the matching phase of the keyframe-based real-time visual SLAM system. The first derives a measure of potential visibility from the angular proximity to keyframes in which they were observed and globally adjusted, and preferentially selects those with high visibility when tracking the ca...
متن کاملUpdates by Reasoning about States Updates by Reasoning about States *
We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2012
ISSN: 1570-8683
DOI: 10.1016/j.jal.2012.02.001